2

Some effectively infinite classes of enumerations

Année:
1993
Langue:
english
Fichier:
PDF, 1.93 MB
english, 1993
3

The computable dimension of ordered abelian groups

Année:
2003
Langue:
english
Fichier:
PDF, 400 KB
english, 2003
4

A generic complete dynamic logic for reasoning about purity and effects

Année:
2010
Langue:
english
Fichier:
PDF, 507 KB
english, 2010
5

Computability and Models || Incomputability in Nature

Année:
2003
Langue:
english
Fichier:
PDF, 3.73 MB
english, 2003
13

Inductive inference and computable numberings

Année:
2011
Langue:
english
Fichier:
PDF, 334 KB
english, 2011
17

The fish community in Zmiinyi Island waters: structure and determinants

Année:
2012
Langue:
english
Fichier:
PDF, 436 KB
english, 2012
23

A coinductive calculus for asynchronous side-effecting processes

Année:
2013
Langue:
english
Fichier:
PDF, 498 KB
english, 2013
36

On autostability of almost prime models relative to strong constructivizations

Année:
2011
Langue:
english
Fichier:
PDF, 597 KB
english, 2011
39

Computability and Models || Positive Structures

Année:
2003
Langue:
english
Fichier:
PDF, 4.76 MB
english, 2003
40

Π1 1 relations and paths through

Année:
2004
Langue:
english
Fichier:
PDF, 1.82 MB
english, 2004
43

Unguarded Recursion on Coinductive Resumptions

Année:
2015
Langue:
english
Fichier:
PDF, 281 KB
english, 2015